The Cognitive Reflection Test (CRT) is a measure of analytical reasoning that cues an intuitive but incorrect response that must be rejected for successful performance to be attained. The CRT yields two types of errors: Intuitive errors, which are attributed to Type 1 processes; and non-intuitive errors, which result from poor numeracy skills or deficient reasoning. Past research shows that participants who commit the highest numbers of errors on the CRT overestimate their performance the most, whereas those with the lowest (...) error-rates tend to slightly underestimate. This is an example of the Dunning-Kruger Effect (DKE). The present study examined how intuitive vs. non-intuitive errors contribute to overestimation in the CRT at different levels of performance. Female undergraduate students completed a seven-item CRT test and subsequently estimated their raw score. They also filled out the Faith in Intuition (FI) questionnaire, which is a dispositional measure of intuitive thinking. Data was separated into quartiles based on level of performance on the CRT. The results demonstrated the DKE. Additionally, intuitive and non-intuitive errors predicted miscalibration among low, but not high performers. However, intuitive errors were a stronger predictor of miscalibration. Finally, FI was positively correlated with CRT self-estimates and miscalibration, indicating that participants who perceived themselves to be more intuitive were worse at estimating their score. These results taken together suggest that participants who perform poorly in the CRT and also those who score higher in intuitive thinking disposition are more susceptible to the influences of heuristic-based cues, such as answer fluency, when judging their performance. (shrink)

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

In this article, we provide a description of the good in health promotion based on an empirical study of health promotion practices in New South Wales, the most populous state in Australia. We found that practitioners were unified by a vision of the good in health promotion that had substantive and procedural dimensions. Substantively, the good in health promotion was teleological: it inhered in meliorism, an intention to promote health, which was understood holistically and situated in places and environments, a (...) commitment to primary rather than secondary prevention and engagement with communities more than individuals. Procedurally, the good in health promotion arose from qualities of practices that they developed over time in respectful relationships, were flexible and responsive to communities, built capabilities in communities and were sustainable. We discuss our findings with reference to Martha Nussbaum’s normative list of functional capabilities for a good human life, David Buchanan’s vision for health promotion ethics and common concerns in health promotion ethics regarding the relationship between paternalism and freedom. Our thick, vague conception of the good in health promotion, founded in the values and practical reason of people engaged daily in health promotion work, contributes to the development of a more complete theory of health promotion ethics. (shrink)

In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4— our formulation has several important metatheoretic properties. In addition, we study models of IS4— not in the framework of Kirpke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but also (...) a means of modelling proofs as well as provability. (shrink)

ABSTRACT We1 study unification of formulas in modal logics and consider logics which are equivalent w.r.t. unification of formulas. A criteria is given for equivalence w.r.t. unification via existence or persistent formulas. A complete syntactic description of all formulas which are non-unifiable in wide classes of modal logics is given. Passive inference rules are considered, it is shown that in any modal logic over D4 there is a finite basis for passive rules.

Research involving transgender and gender diverse people (TGD) increased in the last years, mostly concerning healthcare associated to this population. Few studies dedicated their analysis to the impact of parental support on transgender people, even though this is an important aspect in creating a safe environment on which these individuals can build their identity. In addition, the link between family support, TGD identity and homelessness is not completely established. Thus, due to the specificities of the family context of TGD individuals, (...) the aim of this study is to investigate the association between family support and TGD in different moments of the process of gender affirmation. In addition, this study also aims to explore the relationship between a lack of social support and low self-esteem, home abandonment, and dwelling in the street. The survey was designed based on the TransPULSE project and was made available in electronic format. The sample was constituted of 423 TGD residents in two Brazilian states. A Structural Equation Model analysis suggested that the impact of gender affirmation status on homelessness was mediated by parental support, through self-esteem, and the need to move from home. The association between the status of the gender affirmation procedures, family support and self-esteem was significant and indicated that the further TGD individuals advanced in gender affirmation, the more self-esteem and family support they would have. The association between family support and self-esteem indicated that family support was associated with higher self-esteem. Low family support was associated with the willingness to move from home due to one’s TGD status and there was also a significant correlation between low self-esteem and the willingness to move from home due to one’s TGD status. Finally, homelessness was associated with the willingness to move with a large effect size. Limitations include the sample that was constituted by individuals with Internet access and who had more contact with TGD communities. The findings indicate directions for interventions involving TGD people and their families, considering the parental relationship as a critical variable to improve TGD quality of life in the process of gender affirmation. (shrink)

We study quasi-characterizing inference rules (this notion was introduced into consideration by A. Citkin (1977). The main result of our paper is a complete description of all self-admissible quasi-characterizing inference rules. It is shown that a quasi-characterizing rule is self-admissible iff the frame of the algebra generating this rule is not rigid. We also prove that self-admissible rules are always admissible in canonical, in a sense, logics S4 or IPC regarding the type of algebra generating rules.

Different researchers use "the philosophy of automated theorem p r o v i n g " t o cover d i f f e r e n t concepts, indeed, different levels of concepts. Some w o u l d count such issues as h o w to e f f i c i e n t l y i n d e x databases as part of the philosophy of automated theorem p r o v i n g . (...) Others wonder about whether f o r m u l a s should be represented as strings or as trees or as lists, and call this part of the philosophy of automated theorem p r o v i n g . Yet others concern themselves w i t h what k i n d o f search should b e embodied i n a n y automated theorem prover, or to what degree any automated theorem prover should resemble Prolog. Still others debate whether natural deduction or semantic tableaux or resolution is " b e t t e r " , a n d c a l l t h i s a part of the p h i l o s o p h y of automated theorem p r o v i n g . Some people wonder whether automated theorem p r o v i n g should be " h u m a n oriented" or "machine o r i e n t e d " — sometimes arguing about whether the internal p r o o f methods should be " h u m a n - I i k e " or not, sometimes arguing about whether the generated proof should be output in a f o r m u n d e r s t a n d a b l e by p e o p l e , and sometimes a r g u i n g a b o u t the d e s i r a b i l i t y o f h u m a n intervention in the process of constructing a proof. There are also those w h o ask such questions as whether we s h o u l d even be concerned w i t h completeness or w i t h soundness of a system, or perhaps we should instead look at very efficient (but i n c o m p l e t e ) subsystems or look at methods of generating models w h i c h might nevertheless validate invalid arguments. A n d a l l of these have been v i e w e d as issues in the philosophy of automated theorem proving. Here, I w o u l d l i k e to step back from such i m p l e m e n t - ation issues and ask: " W h a t do we really think we are doing when we w r i t e an automated theorem prover?" My reflections are perhaps idiosyncratic, but I do think that they put the different researchers* efforts into a broader perspective, and give us some k i n d of handle on w h i c h directions we ourselves m i g h t w i s h to pursue when constructing (or extending) an automated theorem proving system. A logic is defined to be (i) a vocabulary and formation rules ( w h i c h tells us w h a t strings of symbols are w e l l - formed formulas in the logic), and ( i i ) a definition of ' p r o o f in that system ( w h i c h tells us the conditions under which an arrangement of formulas in the system constitutes a proof). Historically speaking, definitions of ' p r o o f have been given in various different manners: the most c o m m o n have been H i l b e r t - s t y l e ( a x i o m a t i c ) , Gentzen-style (consecution, or sequent), F i t c h - s t y l e (natural deduction), and Beth-style (tableaux).. (shrink)

We are appreciative of the broad range of commentaries our target article generated. The inquiry into the contingency phase of public health emergencies is nascent and the cl...

Before Euro-American settlement, many Native American nations intercropped maize (_Zea mays_), beans (_Phaseolus vulgaris_), and squash (_Cucurbita pepo_) in what is colloquially called the “Three Sisters.” Here we review the historic importance and consequences of rejuvenation of Three Sisters intercropping (3SI), outline a framework to engage Native growers in community science with positive feedbacks to university research, and present preliminary findings from ethnography and a randomized, replicated 3SI experiment. We developed mutually beneficial collaborative research agendas with four Midwestern US Native (...) American nations. Ethnographic data highlighted a culturally based respect for 3SI as living beings, the importance it holds for all cultural facets of these Native nations, and the critical impact the practice has on environmental sustainability. One concern expressed by Native growers during ethnographic research was improving soil health—part of the rationale for establishing the 3SI agronomic experiment. To address this, we collaboratively designed a 3SI experiment. After 1 year, 3SI increased short-term soil respiration by 24%, decreased salt-extractable nitrate by 54%, had no effect on soil microbial biomass (but increased its carbon-to-nitrogen ratio by 32%) compared to the average of monoculture crops. The overarching purpose of this collaborative project is to develop a deeper understanding of 3SI, its cultural importance to Native communities, and how reinvigorating the practice—and intercropping in general—can make agroecosystems more sustainable for people and the environment. (shrink)